1. Software engineering 1 : abstraction and modelling.

by Bjorner, Dines | Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
2. Software engineering 2 : specification of systems and languages

by Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
3. Software engineering 3 : domains, requirements, and software design

by Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
4. Decision procedures : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
5. Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks

by Koster, Arie | Munoz, Xavier.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004.6 KOS] (1).

Powered by Koha